Discriminative sum types locate the source of type errors
نویسندگان
چکیده
منابع مشابه
the investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
the effect of consciousness raising (c-r) on the reduction of translational errors: a case study
در دوره های آموزش ترجمه استادان بیشتر سعی دارند دانشجویان را با انواع متون آشنا سازند، درحالی که کمتر به خطاهای مکرر آنان در متن ترجمه شده می پردازند. اهمیت تحقیق حاضر مبنی بر ارتکاب مکرر خطاهای ترجمانی حتی بعد از گذراندن دوره های تخصصی ترجمه از سوی دانشجویان است. هدف از آن تاکید بر خطاهای رایج میان دانشجویان مترجمی و کاهش این خطاها با افزایش آگاهی و هوشیاری دانشجویان از بروز آنها است.از آنجا ک...
15 صفحه اولLocating Type Errors 123 Required Types TYPE ANALYSER Inferred Types
This chapter presents a static diagnosis tool that locates type errors in untyped CLP programs without executing them. The existing prototype is specialised for the programming language CHIP [4.10], but the idea applies to any CLP language. The tool works with approximated speci cations which describe types of procedure calls and successes. The speci cations are expressed as a certain kind of t...
متن کاملcollocation errors in translations of the holy quran
the present study aims at identifying, classifying and analyzing collocation errors made by translators of the holy quran into english.findings indicated that collocationally the most acceptablt translation was done by ivring but the least appropriate one made by pickthall.
The relationship between personality types and type of control source and self-efficacy rate military personnel
Introduction: One of the topics that has crossed the minds of researchers is studying about the personality types and control source. The main topic of psychology is studying personality traits. Since these traits form the basis of the behavioral system, addressing this issue can elaborate on certain aspects of individual performance in different fields. Objective: In this regard, the prese...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2003
ISSN: 0362-1340,1558-1160
DOI: 10.1145/944746.944708